dependence graph meaning in Chinese
依赖关系图
Examples
- A dynamic program slice is obtained by recursively traversing the data and control dependence edges in the dynamic dependence graph of the program for the given test case [ 0 , 3 ]
对于给定的测试用例{ [ 0 . 3 ] ,动态程序片是通过以下方式获得的:递归遍历程序动态依赖图中的数据和控制依赖边 - According to the abstract demonstration of class diagrams in uml based on directed weighted class dependence graphs as object - oriented system , combined the technology of information entropy , the measurement of the cohesion and coupling and independence of software component was presented
摘要以一种有向带权类依赖图作为面向对象系统的uml类图的抽象表示，结合信息熵技术针对软件构件进行内聚耦合性及独立性度量。 - Existent automatic grading model of programs can not deal with the programs with structural body . in this paper , we study the syntax and concept of structural body based on an existed model , and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree , adding standardization rules , mainly including type definition , nesting structure , initialization , function invocation , renaming and sequence of program sentence , besides standardization rules of bit operation and program with enumeration , enhancing the function of inspecting syntax error and improving matching strategies
本文在原有的编程题自动评分模型的基础上,对结构体的语法结构和实现原理进行研究,并在以下几个方面完善原有模型:在词法和语法分析、程序的系统依赖图建立和抽象语法树生成三个方面增加结构体类型的中间表示形式;扩充程序的标准化规则,主要包括类型定义标准化、结构体嵌套结构标准化、结构体初始化的标准化、结构体作为函数参数时函数调用标准化、结构体变量名称标准化、结构体语句排列顺序标准化等等;另外,还增加了位运算标准化、枚举标准化以及文件的处理;增强学生程序中语法错误的检测和改进程序匹配策略。 - The automatic grading model of programs is based on idea of program semantic equivalence . its implement process is analyzing the whole source program , transforming program into system dependence graph , and standardizing program of student and template , eliminating diversification of representation forms of equivalent semantic program , computing their semantic similarity , finally grading student programs by some strategies
编程题自动评分模型是基于程序语义等价的思想,对完整源程序进行分析,转化为程序的系统依赖图,标准化学生程序和模板程序,消除程序中等价语义表达形式的多样性,计算它们的语义相似程度,并应用具体评分策略给学生程序进行评分。 - To ensure the well - formed of wscg model , we have developed an algorithm to check the type - safety of wscg model , in which data edges of wscg model can be used to check whether the export messages of an edge ' s source node is matched with the import messages of the edge ' s target node , and to determine whether the import messages of a node is self - contained . we also develop another algorithm , which is based on wscg dependence graph that simulates the wscg dynamic behaviors , to eliminate the deadlock of wscg model
在wscg模型的基础上，针对目前web服务复合模型缺乏良构性验证的问题，在wscg模型的静态特性验证方面，我们定义了wscg模型的类型安全性，并给出了相应的wscg模型全局类型安全性的验证算法，解决了验证wscg模型中输入输出消息集合的类型是否匹配以及输入消息是否是完备的问题；在wscg模型的动态特性方面，我们主要分析了wscg模型的可达性、活锁和死锁问题。